formal description的例句大全

In this paper the ISO & CCITT formal description techniques will be introduced.

本篇文章中,将介绍ISO 和 CCITT的形式描述技术.

The dissertation extends DisCo formal description language to precisely describe design pattern.

本文扩展了DisCo形式化 描述语言,使其能很好地描述设计模式.

We offer the formal description of negotiation protocol, negotiation strategies and the decision model for negotiation.

这里主要讨论了协商协议的规范化描述, 协商策略的表示和规划,以及协商中的建模问题.

This paper discusses formal description style of communication protocol for computer networks.

研讨计算机网络通信协议的形式描述风格.

The paper introduces formal description techniques and SDL.

介绍了形式化描述技术及其SDL语言,并以PPP协议 为例,研究了协议的形式化开发的整个过程.

Some properties of the joint-request are also discussed. Based on the defined action, a teamwork protocol with a formal semantic description is proposed and its application is demonstrated finally.

然后，基于联合请求动作，提出一种主体团队交互协议，并给出了协议的形式化语义，最后讨论了协议的实际应用。

ADLs ( Architecture Description Language) are formal semantics-based languages supporting for describing and analyzing software architecture. The research on ADLs has become a hotspot of software engineering.

软件体系结构描述语言ADL（architecture description language，ADL）具有严格的形式化语义基础，为软件体系结构的表示与分析提供支持，已成为软件工程研究领域的热点。

A New Hybrid Model of Communication Protocol Formal Description for Local Networking

局部网络通信协议形式描述的新混合模型

Formal Description of GDMO Behaviour Template

GDMO行为模板的形式化描述

The formal description of the design and implementation of an agent based on BICC architecture is given to show the feasibility of the system.

结合基于BICC体系结构的Agent设计及实现的形式化描述，说明该系统的可行性。

In the investigation, first, the description logic is used to express the syntax and semantic of domain ontology and to implement the formal translation of domain onto-logy.

首先采用描述逻辑表达领域本体的语法和语义，实现领域本体的形式化转换；

With the advantages of formal semantic definition, visually graphical expression, firm mathematical foundation and description based on state, the Petri net is applied to model and optimize the workflow process more and more.

由于Petri网具有形式化的语义定义、直观的图形表达、严格的数学基础以及基于状态的描述等优点，被越来越广泛应用于工作流过程建模和流程优化。

Firstly the method of knowledge representation by OWL ontologies is researched, then the formal and semantic description is introduced, and finally knowledge is represented by an instance.

本文在研究OWL本体进行知识表示的机制后，阐述形式化表示及语义说明方法，并结合实例说明知识的表示。

Research on the component description model, analyzed the informal and formal description of component, gave an XML based configurable component description model ( CCDM)

构件表示模型的研究，对构件的非形式化表示和形式化表示进行了分析和研究，提出了一种基于XML的可配置的构件表示模型CCDM（Configurable Component Description Model）；

The primary contents are summarized as follows: An overview of the key functions of the EXPRESS modelling language as well as a formal semantic description of the EXPRESS data model is introduced.

对EXPRESS建模语言的核心功能作了概述，并给出了EXPRESS数据模型的一个形式化语义描述。

Based on this model, the corresponding formal semantic description approaches to these five types of the information about customer needs were discussed.

探讨了不同类型的客户需求信息相应的形式化语义描述方法。

Getting geographic cognition from non-structural spatial description, transforming formal geography knowledge into customary natural language form, all of this is important pattern for conversion geographic information.

从非结构化的空间描述中获取地理认知，和将形式化的地理知识转换为习惯的自然语言形式，这是地理信息转换的重要模式。

Formal description system of checking information and its parse system.

实现了阅卷信息的形式化描述以及对应的语言解释系统。

Formal specification is a complete and accurate description of tasksthat a software system should perform.

形式规约(FormalSpecification) 是对软件系统所要解决问题的完备、精确的描述.

Think outside your formal job description when seeking out new challenges.

在追求新的挑战的时候不要将思想局限于你常规的工作描述.